export const TRANSCODE_CLICKED = 'TRANSCODE_CLICKED';
export const TRANSCODE_DONE = 'TRANSCODE_DONE';

export const RUST_CODE_UPDATE = 'RUST_CODE_UPDATE';
export const CPP_CODE_UPDATE = 'CPP_CODE_UPDATE';

export const EVALUATION_CLICKED = 'EVALUATION_CLICKED';
export const AUTO_TRANSCODE_DONE = 'AUTO_TRANSCODE_DONE';
export const CPP_EXEC_DONE = 'CPP_EXEC_DONE';
export const RUST_EXEC_DONE = 'RUST_EXEC_DONE';
export const RUST_EXEC_ERROR = 'RUST_EXEC_ERROR';

export const UPDATE_SERVER_TOOL = 'UPDATE_SERVER_TOOL';